Arithmetic properties